Write_to_

Definitions:

tuple, random access buffered writer
Source: /avail/Avail/Data Abstractions/Iterators/Random Access Buffered Iterators
Categories: Data Abstractions, Iterators
Write the elements of the specified tuple to the supplied buffered writer. This operation should be more efficient than repeatedly sending _'s⁇current element:=_ and Advance_.
Position Name Type Description
Parameters
1 newElements tuple
2 aWriter random access buffered writer
Returns ⊤
tuple, writer
Source: /avail/Avail/Data Abstractions/Iterators/Abstract Iterators
Categories: Writers, Data Abstractions
Write the elements of the specified tuple to the supplied writer.
Position Name Type Description
Parameters
1 newElements tuple
2 aWriter writer
Returns ⊤
tuple, file writer
Source: /avail/Avail/IO/Files/File Iterators
Categories: Files, Writers
Write the elements of the specified tuple to the supplied buffered writer. This operation should be more efficient than repeatedly sending _'s⁇current element:=_ and Advance_.

After the write to the buffer, we only flush it if it crosses an alignment boundary; in that case, we flush up to the last alignment boundary that was crossed. In the continuous case, this should allow a sequence of writes to avoid having to fetch buffers from disk prior to writing.

Position Name Type Description
Parameters
1 newElements tuple
2 aWriter file writer
Returns ⊤
tuple, buffered writer
Source: /avail/Avail/Data Abstractions/Iterators/Buffered Iterators
Categories: Data Abstractions, Iterators
Write the elements of the specified tuple to the supplied buffered writer. This operation should be more efficient than repeatedly sending _'s⁇current element:=_ and Advance_.
Position Name Type Description
Parameters
1 newElements tuple
2 aWriter buffered writer
Returns ⊤